41 research outputs found

    A Fast Algorithm for Computing the p-Curvature

    Get PDF
    We design an algorithm for computing the pp-curvature of a differential system in positive characteristic pp. For a system of dimension rr with coefficients of degree at most dd, its complexity is \softO (p d r^\omega) operations in the ground field (where ω\omega denotes the exponent of matrix multiplication), whereas the size of the output is about pdr2p d r^2. Our algorithm is then quasi-optimal assuming that matrix multiplication is (\emph{i.e.} ω=2\omega = 2). The main theoretical input we are using is the existence of a well-suited ring of series with divided powers for which an analogue of the Cauchy--Lipschitz Theorem holds.Comment: ISSAC 2015, Jul 2015, Bath, United Kingdo

    Big Line Bundles over Arithmetic Varieties

    Full text link
    We prove a Hilbert-Samuel type result of arithmetic big line bundles in Arakelov geometry, which is an analogue of a classical theorem of Siu. An application of this result gives equidistribution of small points over algebraic dynamical systems, following the work of Szpiro-Ullmo-Zhang. We also generalize Chambert-Loir's non-archimedean equidistribution

    Geometric Bogomolov conjecture for abelian varieties and some results for those with some degeneration (with an appendix by Walter Gubler: The minimal dimension of a canonical measure)

    Full text link
    In this paper, we formulate the geometric Bogomolov conjecture for abelian varieties, and give some partial answers to it. In fact, we insist in a main theorem that under some degeneracy condition, a closed subvariety of an abelian variety does not have a dense subset of small points if it is a non-special subvariety. The key of the proof is the study of the minimal dimension of the components of a canonical measure on the tropicalization of the closed subvariety. Then we can apply the tropical version of equidistribution theory due to Gubler. This article includes an appendix by Walter Gubler. He shows that the minimal dimension of the components of a canonical measure is equal to the dimension of the abelian part of the subvariety. We can apply this result to make a further contribution to the geometric Bogomolov conjecture.Comment: 30 page

    Campana points of bounded height on vector group compactifications

    Get PDF
    We initiate a systematic quantitative study of subsets of rational points that are integral with respect to a weighted boundary divisor on Fano orbifolds. We call the points in these sets Campana points. Earlier work of Campana and subsequently Abramovich shows that there are several reasonable competing definitions for Campana points. We use a version that delineates well different types of behaviour of points as the weights on the boundary divisor vary. This prompts a Manin-type conjecture on Fano orbifolds for sets of Campana points that satisfy a klt (Kawamata log terminal) condition. By importing work of Chambert-Loir and Tschinkel to our set-up, we prove a log version of Manin's conjecture for klt Campana points on equivariant compactifications of vector groups.Comment: 52 pages; minor revision, changes in the definition of Campana point

    Fonctions zĂȘta des hauteurs des espaces fibrĂ©s

    No full text
    This paper is devoted to the estimation of the number of points of bounded height on fibrations in toric varieties over algebraic varieties, generalizing previous work by Strauch and the second author. Under reasonable hypotheses on ``Arakelov L-functions'' of the base, we show how to deduce a good estimate for the open subset of the total space of the unerlying fibration in torus. In passing, we improve drastically the error term for toric varieties themselves, generalizing a theorem by de la Breteche over any number field

    Fonctions ZÊta Des Hauteurs Des Espaces FibrĂ©s

    No full text
    corecore